How to Drive

How to Drive a B Machine

The B Method is a state based formal method that describes behaviour in terms of MACHINES whose states change under OPER ATIONS The process algebra CSP is an event based formalism that enables descriptions of patterns of system behaviour We present a com bination of the two views where a CSP process acts as a control executive and its events simply drive corresponding OPERATIONS We de ne con si...

How to drive our families mad

Given a family F of pairwise almost disjoint (ad) sets on a countable set S, we study families F̃ of maximal almost disjoint (mad) sets extending F . We define a+(F) to be the minimal possible cardinality of F̃ \F for such F̃ and a+(κ) = max{a+(F) : | F | ≤ κ}. We show that all infinite cardinal less than or equal to the continuum c can be represented as a+(F) for some ad F (Theorem 21) and that t...

How to Use Glutaraldehyde

 الهای متمادی است که سرویس های بهداشتی گلوتار آلدئید را بعنوان یک ماده استریل کننده برای وسایلی که نسبت به گرما حساس هستند مورد استفاده قرار می دهند. همزمان با افزایش تقاضا برای استفاده از اندوسکوپی، استفاده از گلوتار آلدئید و تماس با آن نیز افزایش یافته است. باید خاطر نشان ساخت گلوتار آلدئید می تواند سبب ایجاد حساسیت های پوستی، چشمی و تنفسی گردد که نهایتاً امکان دارد این حساسیت به آسم و رنیت آل...

How to Drive Your Helicase in a Straight Line

Helicases are molecular motors that move along and remodel DNA, RNA, and associated protein complexes. Helicases are often directional. By analyzing crystal structures in complexes with RNA and ATP analogs, Thomsen and Berger (2009) now elucidate the molecular basis for unidirectional motion by the hexameric RNA helicase Rho.

How (Not) To Help People Test Drive Code